Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks

In this paper, we introduce Black Burst Clock Synchronization (BBCS), a novel protocol for multi-hop time synchronization in wireless ad-hoc networks, located at MAC level. BBCS is based on the exchange of synchronized tick and time frames, which are protected against collisions by a special encoding using black bursts. It provides a deterministic upper bound for clock offset that only depends on maximum network diameter, and on the used transceiver hardware. BBCS has low complexity in terms of communication, computation, storage, structure, and energy consumption. It provides low and deterministic convergence delay, and is robust against node movements and node failures. In this work, we introduce BBCS, provide a formal analysis of its properties, and evaluate the required overhead for clock-synchronizing a multi-hop wireless ad-hoc network

Distributed Real-time Systems - Deterministic Protocols for Wireless Networks and Model-Driven Development with SDL

In a networked system, the communication system is indispensable but often the weakest link w.r.t. performance and reliability. This, particularly, holds for wireless communication systems, where the error- and interference-prone medium and the character of network topologies implicate special challenges. However, there are many scenarios of wireless networks, in which a certain quality-of-service has to be provided despite these conditions. In this regard, distributed real-time systems, whose realization by wireless multi-hop networks becomes increasingly popular, are a particular challenge. For such systems, it is of crucial importance that communication protocols are deterministic and come with the required amount of efficiency and predictability, while additionally considering scarce hardware resources that are a major limiting factor of wireless sensor nodes. This, in turn, does not only place demands on the behavior of a protocol but also on its implementation, which has to comply with timing and resource constraints. The first part of this thesis presents a deterministic protocol for wireless multi-hop networks with time-critical behavior. The protocol is referred to as Arbitrating and Cooperative Transfer Protocol (ACTP), and is an instance of a binary countdown protocol. It enables the reliable transfer of bit sequences of adjustable length and deterministically resolves contest among nodes based on a flexible priority assignment, with constant delays, and within configurable arbitration radii. The protocol's key requirement is the collision-resistant encoding of bits, which is achieved by the incorporation of black bursts. Besides revisiting black bursts and proposing measures to optimize their detection, robustness, and implementation on wireless sensor nodes, the first part of this thesis presents the mode of operation and time behavior of ACTP. In addition, possible applications of ACTP are illustrated, presenting solutions to well-known problems of distributed systems like leader election and data dissemination. Furthermore, results of experimental evaluations with customary wireless transceivers are outlined to provide evidence of the protocol's implementability and benefits. In the second part of this thesis, the focus is shifted from concrete deterministic protocols to their model-driven development with the Specification and Description Language (SDL). Though SDL is well-established in the domain of telecommunication and distributed systems, the predictability of its implementations is often insufficient as previous projects have shown. To increase this predictability and to improve SDL's applicability to time-critical systems, real-time tasks, an approved concept in the design of real-time systems, are transferred to SDL and extended to cover node-spanning system tasks. In this regard, a priority-based execution and suspension model is introduced in SDL, which enables task-specific priority assignments in the SDL specification that are orthogonal to the static structure of SDL systems and control transition execution orders on design as well as on implementation level. Both the formal incorporation of real-time tasks into SDL and their implementation in a novel scheduling strategy are discussed in this context. By means of evaluations on wireless sensor nodes, evidence is provided that these extensions reduce worst-case execution times substantially, and improve the predictability of SDL implementations and the language's applicability to real-time systems

A conceptually new treatment approach for relapsed glioblastoma: Coordinated undermining of survival paths with nine repurposed drugs (CUSP9) by the International Initiative for Accelerated Improvement of Glioblastoma Care.

To improve prognosis in recurrent glioblastoma we developed a treatment protocol based on a combination of drugs not traditionally thought of as cytotoxic chemotherapy agents but that have a robust history of being well-tolerated and are already marketed and used for other non-cancer indications. Focus was on adding drugs which met these criteria: a) were pharmacologically well characterized, b) had low likelihood of adding to patient side effect burden, c) had evidence for interfering with a recognized, well-characterized growth promoting element of glioblastoma, and d) were coordinated, as an ensemble had reasonable likelihood of concerted activity against key biological features of glioblastoma growth. We found nine drugs meeting these criteria and propose adding them to continuous low dose temozolomide, a currently accepted treatment for relapsed glioblastoma, in patients with recurrent disease after primary treatment with the Stupp Protocol. The nine adjuvant drug regimen, Coordinated Undermining of Survival Paths, CUSP9, then are aprepitant, artesunate, auranofin, captopril, copper gluconate, disulfiram, ketoconazole, nelfinavir, sertraline, to be added to continuous low dose temozolomide. We discuss each drug in turn and the specific rationale for use- how each drug is expected to retard glioblastoma growth and undermine glioblastoma's compensatory mechanisms engaged during temozolomide treatment. The risks of pharmacological interactions and why we believe this drug mix will increase both quality of life and overall survival are reviewed

Distributed Real-time Systems - Deterministic Protocols for Wireless Networks and Model-Driven Development with SDL

In a networked system, the communication system is indispensable but often the weakest link w.r.t. performance and reliability. This, particularly, holds for wireless communication systems, where the error- and interference-prone medium and the character of network topologies implicate special challenges. However, there are many scenarios of wireless networks, in which a certain quality-of-service has to be provided despite these conditions. In this regard, distributed real-time systems, whose realization by wireless multi-hop networks becomes increasingly popular, are a particular challenge. For such systems, it is of crucial importance that communication protocols are deterministic and come with the required amount of efficiency and predictability, while additionally considering scarce hardware resources that are a major limiting factor of wireless sensor nodes. This, in turn, does not only place demands on the behavior of a protocol but also on its implementation, which has to comply with timing and resource constraints. The first part of this thesis presents a deterministic protocol for wireless multi-hop networks with time-critical behavior. The protocol is referred to as Arbitrating and Cooperative Transfer Protocol (ACTP), and is an instance of a binary countdown protocol. It enables the reliable transfer of bit sequences of adjustable length and deterministically resolves contest among nodes based on a flexible priority assignment, with constant delays, and within configurable arbitration radii. The protocol's key requirement is the collision-resistant encoding of bits, which is achieved by the incorporation of black bursts. Besides revisiting black bursts and proposing measures to optimize their detection, robustness, and implementation on wireless sensor nodes, the first part of this thesis presents the mode of operation and time behavior of ACTP. In addition, possible applications of ACTP are illustrated, presenting solutions to well-known problems of distributed systems like leader election and data dissemination. Furthermore, results of experimental evaluations with customary wireless transceivers are outlined to provide evidence of the protocol's implementability and benefits. In the second part of this thesis, the focus is shifted from concrete deterministic protocols to their model-driven development with the Specification and Description Language (SDL). Though SDL is well-established in the domain of telecommunication and distributed systems, the predictability of its implementations is often insufficient as previous projects have shown. To increase this predictability and to improve SDL's applicability to time-critical systems, real-time tasks, an approved concept in the design of real-time systems, are transferred to SDL and extended to cover node-spanning system tasks. In this regard, a priority-based execution and suspension model is introduced in SDL, which enables task-specific priority assignments in the SDL specification that are orthogonal to the static structure of SDL systems and control transition execution orders on design as well as on implementation level. Both the formal incorporation of real-time tasks into SDL and their implementation in a novel scheduling strategy are discussed in this context. By means of evaluations on wireless sensor nodes, evidence is provided that these extensions reduce worst-case execution times substantially, and improve the predictability of SDL implementations and the language's applicability to real-time systems

Experimental Design and Analysis of Transmission Properties in an Indoor Wireless Sensor Network

Abstract—In this paper, we systematically investigate different factors and their effects on the wireless transmission properties using a full-factorial experimental design of a wireless sensor network in a real-world indoor environment. We quantify the impact of primary factors such as the wireless channel, physical position, transmission power, and their interactions on the received signal strength (RSS). While some of our results support conventional assumptions, this study also shows that there are many properties which are in contrast to existing findings. For example, there is no significant correlation in the measured RSS between different but equally-distant transmitters, yet the correlation coefficient between two transmitters is above 94%. In addition, changing the wireless channel even in a static network scenario results in highly unpredictable interaction with other factors and significantly influences the measured RSS. Since the analyzed network only consists of low-cost, commodity transmitters, the results of this experimental analysis can serve as valuable insights in planning and deploying wireless sensor networks in different application scenarios. I

Virtual prototyping of distributed embedded systems with FERAL

Distributed embedded systems are found in time- and safety-critical domains, such as avionics and automotive. Virtual prototyping is a suitable approach for the development of such systems, since it enables early testing and early evaluation of design decisions in realistic simulated environments. Existing simulators only focus on specific aspects and application domains. However, an accurate prediction of the overall system behaviour of complex distributed embedded systems requires the consideration of multiple aspects together, e.g., communication and functional behaviour. Therefore, a mechanism for the rapid coupling of simulators is required to create holistic simulation environments. In this paper, we survey our modular simulator framework FERAL, which provides a generic solution to virtual prototyping by enabling the rapid coupling and exchange of diverse simulators, even with heterogeneous simulation models. Thus, simulators operating on different abstraction levels can be applied together. We demonstrate the adaptation of FERAL by incorporating several simulators, in particular, existing simulators (Simulink, ns-3), and our newly developed simulators for the automotive communication technologies CAN and FlexRay. We then demonstrate FERAL's capabilities by evaluating different design alternatives for an adaptive cruise control system in a real world scenario

Do banks value the eco-friendliness of firms in their corporate lending decision? Some empirical evidence

This study empirically investigates and explores the relationship between firms' environment consciousness and banks lending decision. We consider all US firms' in the Kinder, Lydenberg and Domini Research & Analytics, Inc. social performance database for the year 1991 to 2006 and use their environment ranking along with the bank loan data from the Dealscan database with the relevant firm characteristics from Compustat. The findings indicate that bank incorporates firms' environment consciousness in their corporate lending decision. We establish that more eco-friendly firm, defined as a firm with higher environment score in the study, gets a favorable loan contract than the firms with lower environment score. By considering firms' environment-consciousness in determining loan contract, banks can reduce their default risk. In addition, the other stakeholders of the business can also get benefits. The social implication of the study is also noteworthy. To get a favorable loan contract if firms' become more environment-conscious, it will in turn benefit the whole society. The contribution of the banks can expedite the Fed government's mitigation target achievement process. In sum, the corporate social responsibility, like eco-consciousness, can also be a determinant of cost of bank debt, which provides new insight to the policy makers and academicians